Reactive Systems: Modelling, Specification and Verification
by Luca Aceto,Anna Ingólfsdóttir,Kim Guldstrand Larsen,Jiri Srba
ISBN 13: 9780521875462
Format: Hardcover (300 pages) Publisher: Cambridge University Press Published: 09 Aug 2007
Save for later
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Computer Science and General Issues)
by
ISBN 13: 9783540330455
Format: Paperback (462 pages) Publisher: Springer Published: 16 Mar 2006
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540705826
Format: Paperback (730 pages) Publisher: Springer Published: 24 Jun 2008
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642220111
Format: Paperback (692 pages) Publisher: Springer Published: 27 Jun 2011
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 10460 (Lecture Notes in Computer Science)
by Luca Aceto,Giorgio Bacci,Giovanni Bacci,Anna Ingólfsdóttir,Axel Legay,Radu Mardare
ISBN 13: 9783319631202
Format: Paperback (680 pages) Publisher: Springer Published: 25 Jul 2017